⚡ Fusion Laws

Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

Feeds to Scour
SubscribedAll
Scoured 77939 posts in 637.3 ms
Unification of Deterministic Higher-Order Patterns
arxiv.org·1d
🔗Unification Algorithms
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·9h
🔗Memory Linearization
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·17h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·20h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees
dev.to·11h·
Discuss: DEV
🚂Error Propagation
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·2h·
Discuss: Hacker News
πPi Calculus
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·16h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem
arxiv.org·1d
📜Proof Languages
Preview
Report Post
dolthub/dolt v1.81.0
github.com·1d
⚙️Configuration Parsing
Preview
Report Post
Postmortem on TreeTracker Join: Simple, Optimal, Fast
zhu45.org·2d·
Discuss: Hacker News
🌳Tree Algorithms
Preview
Report Post
AWS Lambda From Scratch
forgestream.idverse.com·2d·
Discuss: r/rust
🔢lambda calculus
Preview
Report Post
Free papers, get your free papers here!
esat.kuleuven.be·13h
🔗Hash Functions
Preview
Report Post
Variation on Iota
toolofthought.com·2d·
Discuss: Hacker News
🔢Bit Manipulation
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·1d·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
✅Configuration Validation
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·18h·
Discuss: DEV
🏗️Cranelift
Preview
Report Post
Pairing particles into holonomies
science.org·18h
🔬Nanopasses
Preview
Report Post
Introducing ethlambda: A Lean Consensus Client for Ethereum's Next Era
blog.lambdaclass.com·1d
📡Erlang BEAM
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help